On Primary Ideals. Part I
نویسندگان
چکیده
Summary . We formalize in the Mizar System [3], [4], definitions and basic propositions about primary ideals of a commutative ring along with Chapter 4 [1] III [8]. Additionally other necessary ideal operations such as compatibilities taking radical intersection finite number are formalized well order to prove theorems relating ideals. These mainly quoted from 1 compiled preliminaries first half article.
منابع مشابه
I-prime ideals
In this paper, we introduce a new generalization of weakly prime ideals called $I$-prime. Suppose $R$ is a commutative ring with identity and $I$ a fixed ideal of $R$. A proper ideal $P$ of $R$ is $I$-prime if for $a, b in R$ with $ab in P-IP$ implies either $a in P$ or $b in P$. We give some characterizations of $I$-prime ideals and study some of its properties. Moreover, we give conditions ...
متن کاملON FIBER CONES OF m-PRIMARY IDEALS
Two formulas for the multiplicity of the fiber cone F (I) = ⊕∞n=0I /mI of an m-primary ideal of a d-dimensional Cohen-Macaulay local ring (R,m) are derived in terms of the mixed multiplicity ed−1(m|I), the multiplicity e(I) and superficial elements. As a consequence, the Cohen-Macaulay property of F (I) when I has minimal mixed multiplicity or almost minimal mixed multiplicity is characterized ...
متن کاملOn Primary Ideals in C(x)
2. Primary ideals in C(X). C(X) denotes the ring of real-valued continuous functions on the topological space X, under ordinary pointwise addition and multiplication. By a primary ideal we mean an ideal which is contained in at most one maximal ideal. An O-ideal is an ideal / such that for each pair/i,/2G/ there exists eEI, depending on/i and f2, such that/<«=/.-, for i = l, 2 [7; 4]. A prime-l...
متن کاملOn Ideals Related to I[λ]
We describe a recipe for generating normal ideals on successors of singular cardinals. We show that these ideals are related to many weakenings of that have appeared in the literature. Our main purpose, however, is to provide an organized list of open questions related to these ideals. Throughout this note, we will let λ denote the successor of a singular cardinal μ. We will also let χ denote s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2021
ISSN: ['1898-9934', '1426-2630']
DOI: https://doi.org/10.2478/forma-2021-0010